$\forall$$T$:Type, ${\it eq}$:EqDecider($T$), ${\it ll}$:($T$ List List). l{-}union{-}list(${\it eq}$; ${\it ll}$) $\in$ ($T$ List)